module Datatype where

-----------------------------------------------------
--This module is only Data type of this project
-- A Nodevalue is for bound search tree
-- It is contains (Graph , Vertexset, Coverset, K, Size) 
--                                                   
type Graph = [(String,[String])] 
type Vertexset = [String]
type Coverset = [String]
type K = Int
type Size = Int
type Nodevalue = (Graph , Vertexset, Coverset, K, Size)

data Bt a = Nil | Node a (Bt a) (Bt a)
